if (cond)
// Leading to EmptyStatement
  ;  // Trailing to EmptyStatement
